StandardDS == <a.if a=2 IdLnk else Id fi,a.if a=2 IdLnkDeq else IdDeq fi> 

latex

Definitions	StandardDS, IdLnk, Id, if b t else f fi, i=j, IdLnkDeq, IdDeq
FDL editor aliases	sds